Новая философская энциклопедия - парадокс логический

Критический шаг логического рассуждения, применяющегося в знаменитом парадоксе Кантора о множестве всех множеств, имеет ту же лопетескую форму

Более тонко выявлена крайняя опасность автореференции (предложений, ссылающихся на самих себя) в парадоксе Карри, выявляющем глубинные логические корни, в частности парадоксов лжеца и Рассела. «Пусть А — произвольное высказывание. Пусть В — высказывание «Если В, то А». Допустим В. Тогда В=»А. Значит, из В следует А в силу правила дедукции, и В доказано без всяких допущений. Но тогда доказано и А».

Т. о., Карри показал, что обычная импликация в любой системе с автореференцией позволяет вывести любое предложение, что является грубой формой противоречия (противоречивость по Карри.)

Теорема Геделя о неполноте доказывается при помощи построения, по сути дела являющегося одним из парадоксов автореференции. А именно, строится формула, утверждающая свою собственную недоказуемость. Она не может быть доказана, потому что тогда мы получили бы прямое противоречие, она не может быть и опровергнута, потому что тогда мы получили бы доказательство ее недоказуемости и, следовательно, ее обоснование.

Новый класс логических парадоксов, также лежащий на грани с семантическими, поскольку используется понятие определимости, был открыт Берри, который ввел в рассмотрение сложность объекта.

Предложений, содержащих менее ста букв, конечное число. Поэтому с их помощью можно определить лишь конечное число натуральных чисел. Поэтому есть наименьшее число По, не определимое таким способом. Но тогда фраза «Наименьшее число, не определимое при помощи предложения, содержащего менее ста символов» содержит менее ста символов и определяет »о.

Конструкция парадокса Берри интенсивно используется в современной теории сложности вычислений для доказательства трудности решения задач. Она практически сводится к общенаучному принципу, что система может быть полностью познана лишь системой, на порядок более сложной. Примером нерефлексивного логического парадокса является следующий парадокс: «Необходимо, что 9 больше 7. Число больших планет — 9. Значит, необходимо, что число больших планет больше семи». Данный парадокс также лежит на грани между семантическими и логическими. Конструкция данного парадокса использована в доказательстве теоремы Раиса о неразрешимости нетривиальных свойств вычислимых функций (единственные свойства вычислимых функций, которые могут определяться программой — тождественно истинное и тождественно ложное) и теоремы о невозможности нетривиальных точных предсказателей, т. е. оракулы, которые не ошибаются, говорят либо только одну истину, либо одну ложь. Этот парадокс сыграл громадную стимулирующую роль при разработке тонких вопросов модальной логики с равенством. Ту же логическую структуру при формализации приобретает и известный парадокс утренней звезды, относящийся к семантическим. Как логические парадоксы часто трактуются законы материальной импликации — «из лжи следует все, что угодно», и «истина следует из всего, что угодно», поскольку они позволяют получить формулы А=>В, в которых А и В никак не связаны по смыслу Далее, отметим парадокс логического всеведения: Если мы знаем А и А=